COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	april 16:talk for acm: 
C00003 ENDMK
C⊗;
april 16:talk for acm: 

ai as db language   

planner/conniver/amord  examples

style of programming: goal directed

detieved for TP approach

how it's done: 
   axioms-assertions
   theorems-procedures for goal achievement
   control is backtrack
   organization is dat/procedure base

the key: pattern matching 
  the ?, ! > <  hacks

pdi

tms  
 internal consistency, and explanability

jmc: before a system can learn, it must be capable of ?


stull  

steamer 


where lisp fits into this
   flexible, powerful assembly language
   prog-data duality